Nuprl Lemma : not_over_or_a
13,42
postcript
pdf
A
,
B
:
. (
(
A
B
))
{(
A
) & (
B
)}
latex
Up
core
2
,
core
2
Definitions
{
T
}
Lemmas
not
over
or
origin
A, B:
. (
(A 
B)) 
{(A) & (B)} A, B:. ((A B)) {(A) & (B)}